ReP USP - Resultado da busca

Tese (Doutorado)
Revisão de crenças temporais (2016)
Oliveira, Paulo de Tarso Guerra; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Paulo de Tarso Guerra. Revisão de crenças temporais. 2016. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113451/. Acesso em: 30 abr. 2024.
APA
Oliveira, P. de T. G. (2016). Revisão de crenças temporais (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113451/
NLM
Oliveira P de TG. Revisão de crenças temporais [Internet]. 2016 ;[citado 2024 abr. 30 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113451/
Vancouver
Oliveira P de TG. Revisão de crenças temporais [Internet]. 2016 ;[citado 2024 abr. 30 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113451/
Dissertação (Mestrado)
Pseudo-contractions in belief revision (2016)
Santos, Yuri David ; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA MATEMÁTICA APLICADA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Yuri David. Pseudo-contractions in belief revision. 2016. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08062016-105125. Acesso em: 30 abr. 2024.
APA
Santos, Y. D. (2016). Pseudo-contractions in belief revision (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08062016-105125
NLM
Santos YD. Pseudo-contractions in belief revision [Internet]. 2016 ;[citado 2024 abr. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08062016-105125
Vancouver
Santos YD. Pseudo-contractions in belief revision [Internet]. 2016 ;[citado 2024 abr. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08062016-105125
Tese (Doutorado)
Uso de ontologias modulares para classicação de pacientes portadores da Síndrome de Li-Fraumeni: estudo de caso no A.C. Camargo Cancer Center (2016)
Budaruiche, Ricardo Moura Sekeff; Wassermann, Renata (Orientador)
Unidade: IME
Assunto: ONTOLOGIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BUDARUICHE, Ricardo Moura Sekeff. Uso de ontologias modulares para classicação de pacientes portadores da Síndrome de Li-Fraumeni: estudo de caso no A.C. Camargo Cancer Center. 2016. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113535/. Acesso em: 30 abr. 2024.
APA
Budaruiche, R. M. S. (2016). Uso de ontologias modulares para classicação de pacientes portadores da Síndrome de Li-Fraumeni: estudo de caso no A.C. Camargo Cancer Center (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113535/
NLM
Budaruiche RMS. Uso de ontologias modulares para classicação de pacientes portadores da Síndrome de Li-Fraumeni: estudo de caso no A.C. Camargo Cancer Center [Internet]. 2016 ;[citado 2024 abr. 30 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113535/
Vancouver
Budaruiche RMS. Uso de ontologias modulares para classicação de pacientes portadores da Síndrome de Li-Fraumeni: estudo de caso no A.C. Camargo Cancer Center [Internet]. 2016 ;[citado 2024 abr. 30 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113535/
Artigo de periodico
A hybrid cloud-P2P architecture for multimedia information retrieval on VoD services (2016)
Rocha, Vladimir Emiliano Moreira; Kon, Fábio ; Cobe, Raphael Mendes de Oliveira; Wassermann, Renata
Source: Computing. Unidades: IME, EP
Subjects: SISTEMAS DISTRIBUÍDOS, COMPUTAÇÃO EM NUVEM, ONTOLOGIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Vladimir Emiliano Moreira et al. A hybrid cloud-P2P architecture for multimedia information retrieval on VoD services. Computing, v. 98, n. Ja 2016, p. 73-92, 2016Tradução . . Disponível em: https://doi.org/10.1007/s00607-014-0428-3. Acesso em: 30 abr. 2024.
APA
Rocha, V. E. M., Kon, F., Cobe, R. M. de O., & Wassermann, R. (2016). A hybrid cloud-P2P architecture for multimedia information retrieval on VoD services. Computing, 98( Ja 2016), 73-92. doi:10.1007/s00607-014-0428-3
NLM
Rocha VEM, Kon F, Cobe RM de O, Wassermann R. A hybrid cloud-P2P architecture for multimedia information retrieval on VoD services [Internet]. Computing. 2016 ; 98( Ja 2016): 73-92.[citado 2024 abr. 30 ] Available from: https://doi.org/10.1007/s00607-014-0428-3
Vancouver
Rocha VEM, Kon F, Cobe RM de O, Wassermann R. A hybrid cloud-P2P architecture for multimedia information retrieval on VoD services [Internet]. Computing. 2016 ; 98( Ja 2016): 73-92.[citado 2024 abr. 30 ] Available from: https://doi.org/10.1007/s00607-014-0428-3
Artigo de periodico
Bringing AGM to computer science (2015)
Wassermann, Renata ; Ribeiro, Márcio Moretto
Source: South American Journal of Logic. Unidades: IME, EACH
Subjects: LÓGICA, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WASSERMANN, Renata e RIBEIRO, Márcio Moretto. Bringing AGM to computer science. South American Journal of Logic, v. 1, n. 2, p. 447-459, 2015Tradução . . Disponível em: http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf. Acesso em: 30 abr. 2024.
APA
Wassermann, R., & Ribeiro, M. M. (2015). Bringing AGM to computer science. South American Journal of Logic, 1( 2), 447-459. Recuperado de http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf
NLM
Wassermann R, Ribeiro MM. Bringing AGM to computer science [Internet]. South American Journal of Logic. 2015 ; 1( 2): 447-459.[citado 2024 abr. 30 ] Available from: http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf
Vancouver
Wassermann R, Ribeiro MM. Bringing AGM to computer science [Internet]. South American Journal of Logic. 2015 ; 1( 2): 447-459.[citado 2024 abr. 30 ] Available from: http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf
Trabalho de evento-anais periodico
Ontology repair through partial meet contraction (2015)
Cobe, Raphael Mendes de Oliveira; Wassermann, Renata
Source: Proceedings. Conference titles: International Workshop on Defeasible and Ampliative Reasoning - DARe. Unidade: IME
Subjects: ONTOLOGIAS, OWL, HEURÍSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COBE, Raphael Mendes de Oliveira e WASSERMANN, Renata. Ontology repair through partial meet contraction. Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://ceur-ws.org/Vol-1423/DARe-15_2.pdf. Acesso em: 30 abr. 2024. , 2015
APA
Cobe, R. M. de O., & Wassermann, R. (2015). Ontology repair through partial meet contraction. Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://ceur-ws.org/Vol-1423/DARe-15_2.pdf
NLM
Cobe RM de O, Wassermann R. Ontology repair through partial meet contraction [Internet]. Proceedings. 2015 ; 1423 [7 ].[citado 2024 abr. 30 ] Available from: http://ceur-ws.org/Vol-1423/DARe-15_2.pdf
Vancouver
Cobe RM de O, Wassermann R. Ontology repair through partial meet contraction [Internet]. Proceedings. 2015 ; 1423 [7 ].[citado 2024 abr. 30 ] Available from: http://ceur-ws.org/Vol-1423/DARe-15_2.pdf
Trabalho de evento-anais periodico
Between belief bases and belief sets: partial meet contraction (2015)
Santos, Yuri D; Ribeiro, Marcio M; Wassermann, Renata
Source: Proceedings. Conference titles: International Workshop on Defeasible and Ampliative Reasoning - DARe. Unidade: IME
Subjects: REPRESENTAÇÃO DE CONHECIMENTO, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Yuri D e RIBEIRO, Marcio M e WASSERMANN, Renata. Between belief bases and belief sets: partial meet contraction. Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://ceur-ws.org/Vol-1423/DARe-15_8.pdf. Acesso em: 30 abr. 2024. , 2015
APA
Santos, Y. D., Ribeiro, M. M., & Wassermann, R. (2015). Between belief bases and belief sets: partial meet contraction. Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://ceur-ws.org/Vol-1423/DARe-15_8.pdf
NLM
Santos YD, Ribeiro MM, Wassermann R. Between belief bases and belief sets: partial meet contraction [Internet]. Proceedings. 2015 ; 1423 [7 ].[citado 2024 abr. 30 ] Available from: http://ceur-ws.org/Vol-1423/DARe-15_8.pdf
Vancouver
Santos YD, Ribeiro MM, Wassermann R. Between belief bases and belief sets: partial meet contraction [Internet]. Proceedings. 2015 ; 1423 [7 ].[citado 2024 abr. 30 ] Available from: http://ceur-ws.org/Vol-1423/DARe-15_8.pdf
Trabalho de evento
Da folksonomia para formatos da Web semântica: estudo exploratório no sistema Arquigrafia (2015)
Barros, Leliane Nunes de ; Yucra, Marisol Solis; Souza, Ricardo Teixeira de; Wassermann, Renata ; Gerosa, Marco Aurélio
Source: Anais. Conference titles: Simpósio Brasileiro de Sistemas Colaborativos. Unidade: IME
Subjects: FOLKSONOMIA, ONTOLOGIA, WEB SEMÂNTICA, REDES SOCIAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BARROS, Leliane Nunes de et al. Da folksonomia para formatos da Web semântica: estudo exploratório no sistema Arquigrafia. 2015, Anais.. Porto Alegre: SBC, 2015. Disponível em: http://www.lbd.dcc.ufmg.br/colecoes/sbsc/2015/008.pdf. Acesso em: 30 abr. 2024.
APA
Barros, L. N. de, Yucra, M. S., Souza, R. T. de, Wassermann, R., & Gerosa, M. A. (2015). Da folksonomia para formatos da Web semântica: estudo exploratório no sistema Arquigrafia. In Anais. Porto Alegre: SBC. Recuperado de http://www.lbd.dcc.ufmg.br/colecoes/sbsc/2015/008.pdf
NLM
Barros LN de, Yucra MS, Souza RT de, Wassermann R, Gerosa MA. Da folksonomia para formatos da Web semântica: estudo exploratório no sistema Arquigrafia [Internet]. Anais. 2015 ;[citado 2024 abr. 30 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/sbsc/2015/008.pdf
Vancouver
Barros LN de, Yucra MS, Souza RT de, Wassermann R, Gerosa MA. Da folksonomia para formatos da Web semântica: estudo exploratório no sistema Arquigrafia [Internet]. Anais. 2015 ;[citado 2024 abr. 30 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/sbsc/2015/008.pdf
Tese (Doutorado)
Integração entre múltiplas ontologias: reuso e gerência de conflitos (2014)
Cóbe, Raphael Mendes de Oliveira; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, ONTOLOGIAS, WEB SEMÂNTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CÓBE, Raphael Mendes de Oliveira. Integração entre múltiplas ontologias: reuso e gerência de conflitos. 2014. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20032018-080426/. Acesso em: 30 abr. 2024.
APA
Cóbe, R. M. de O. (2014). Integração entre múltiplas ontologias: reuso e gerência de conflitos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20032018-080426/
NLM
Cóbe RM de O. Integração entre múltiplas ontologias: reuso e gerência de conflitos [Internet]. 2014 ;[citado 2024 abr. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20032018-080426/
Vancouver
Cóbe RM de O. Integração entre múltiplas ontologias: reuso e gerência de conflitos [Internet]. 2014 ;[citado 2024 abr. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20032018-080426/
Dissertação (Mestrado)
Revisão de crenças em lógicas de descrição: um plug-in para o Protégé (2014)
Resina, Fillipe Manoel Xavier; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, WEB SEMÂNTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RESINA, Fillipe Manoel Xavier. Revisão de crenças em lógicas de descrição: um plug-in para o Protégé. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-24022017-124108/. Acesso em: 30 abr. 2024.
APA
Resina, F. M. X. (2014). Revisão de crenças em lógicas de descrição: um plug-in para o Protégé (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-24022017-124108/
NLM
Resina FMX. Revisão de crenças em lógicas de descrição: um plug-in para o Protégé [Internet]. 2014 ;[citado 2024 abr. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-24022017-124108/
Vancouver
Resina FMX. Revisão de crenças em lógicas de descrição: um plug-in para o Protégé [Internet]. 2014 ;[citado 2024 abr. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-24022017-124108/
Trabalho de evento
On the revision of planning tasks (2014)
Herzig, Andreas; Menezes, M. V; Barros, Leliane Nunes de ; Wassermann, Renata
Source: Proceedings. Conference titles: European Conference on Artificial Intelligence - ECAI. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HERZIG, Andreas et al. On the revision of planning tasks. 2014, Anais.. Amsterdam: IOS Press, 2014. Disponível em: https://doi.org/10.3233/978-1-61499-419-0-435. Acesso em: 30 abr. 2024.
APA
Herzig, A., Menezes, M. V., Barros, L. N. de, & Wassermann, R. (2014). On the revision of planning tasks. In Proceedings. Amsterdam: IOS Press. doi:10.3233/978-1-61499-419-0-435
NLM
Herzig A, Menezes MV, Barros LN de, Wassermann R. On the revision of planning tasks [Internet]. Proceedings. 2014 ;[citado 2024 abr. 30 ] Available from: https://doi.org/10.3233/978-1-61499-419-0-435
Vancouver
Herzig A, Menezes MV, Barros LN de, Wassermann R. On the revision of planning tasks [Internet]. Proceedings. 2014 ;[citado 2024 abr. 30 ] Available from: https://doi.org/10.3233/978-1-61499-419-0-435
Dissertação (Mestrado)
Typicality in description logics (2014)
Curado, José David Fernández; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CURADO, José David Fernández. Typicality in description logics. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113318/. Acesso em: 30 abr. 2024.
APA
Curado, J. D. F. (2014). Typicality in description logics (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113318/
NLM
Curado JDF. Typicality in description logics [Internet]. 2014 ;[citado 2024 abr. 30 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113318/
Vancouver
Curado JDF. Typicality in description logics [Internet]. 2014 ;[citado 2024 abr. 30 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113318/
Trabalho de evento
Algorithms for multiple contraction and an application to OWL ontologies (2014)
Resina, Fillipe Manoel Xavier; Ribeiro, Márcio Moretto; Wassermann, Renata
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidades: EACH, IME
Subjects: ONTOLOGIAS, OWL, SISTEMAS BASEADOS EM CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RESINA, Fillipe Manoel Xavier e RIBEIRO, Márcio Moretto e WASSERMANN, Renata. Algorithms for multiple contraction and an application to OWL ontologies. 2014, Anais.. Los Alamitos: IEEE, 2014. Disponível em: https://doi.org/10.1109/BRACIS.2014.72. Acesso em: 30 abr. 2024.
APA
Resina, F. M. X., Ribeiro, M. M., & Wassermann, R. (2014). Algorithms for multiple contraction and an application to OWL ontologies. In Proceedings. Los Alamitos: IEEE. doi:10.1109/BRACIS.2014.72
NLM
Resina FMX, Ribeiro MM, Wassermann R. Algorithms for multiple contraction and an application to OWL ontologies [Internet]. Proceedings. 2014 ;[citado 2024 abr. 30 ] Available from: https://doi.org/10.1109/BRACIS.2014.72
Vancouver
Resina FMX, Ribeiro MM, Wassermann R. Algorithms for multiple contraction and an application to OWL ontologies [Internet]. Proceedings. 2014 ;[citado 2024 abr. 30 ] Available from: https://doi.org/10.1109/BRACIS.2014.72
Trabalho de evento-anais periodico
Minimal change in AGM revision for non-classical logics (2014)
Ribeiro, Márcio Moretto; Wassermann, Renata
Source: Proceedings. Conference titles: International Conference on the Principles of Knowledge Representation and Reasoning - KR 2014. Unidades: EACH, IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Márcio Moretto e WASSERMANN, Renata. Minimal change in AGM revision for non-classical logics. Proceedings. Palo Alto: AAAI Publications. Disponível em: https://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8008. Acesso em: 30 abr. 2024. , 2014
APA
Ribeiro, M. M., & Wassermann, R. (2014). Minimal change in AGM revision for non-classical logics. Proceedings. Palo Alto: AAAI Publications. Recuperado de https://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8008
NLM
Ribeiro MM, Wassermann R. Minimal change in AGM revision for non-classical logics [Internet]. Proceedings. 2014 ;[citado 2024 abr. 30 ] Available from: https://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8008
Vancouver
Ribeiro MM, Wassermann R. Minimal change in AGM revision for non-classical logics [Internet]. Proceedings. 2014 ;[citado 2024 abr. 30 ] Available from: https://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8008
Dissertação (Mestrado)
Análise empírica de algorithmos de revisão sobre bases de crenças (2013)
Lundberg, Renato Urquiza; Wassermann, Renata (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LUNDBERG, Renato Urquiza. Análise empírica de algorithmos de revisão sobre bases de crenças. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052013-104316. Acesso em: 30 abr. 2024.
APA
Lundberg, R. U. (2013). Análise empírica de algorithmos de revisão sobre bases de crenças (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052013-104316
NLM
Lundberg RU. Análise empírica de algorithmos de revisão sobre bases de crenças [Internet]. 2013 ;[citado 2024 abr. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052013-104316
Vancouver
Lundberg RU. Análise empírica de algorithmos de revisão sobre bases de crenças [Internet]. 2013 ;[citado 2024 abr. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052013-104316
Artigo de periodico
Minimal change: Relevance and recovery revisited (2013)
Ribeiro, Márcio Moretto; Wassermann, Renata ; Flouris, Giorgos; Antoniou, Grigoris
Source: Artificial Intelligence. Unidades: IME, EACH
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Márcio Moretto et al. Minimal change: Relevance and recovery revisited. Artificial Intelligence, v. 201, p. 59-80, 2013Tradução . . Disponível em: https://doi.org/10.1016/j.artint.2013.06.001. Acesso em: 30 abr. 2024.
APA
Ribeiro, M. M., Wassermann, R., Flouris, G., & Antoniou, G. (2013). Minimal change: Relevance and recovery revisited. Artificial Intelligence, 201, 59-80. doi:10.1016/j.artint.2013.06.001
NLM
Ribeiro MM, Wassermann R, Flouris G, Antoniou G. Minimal change: Relevance and recovery revisited [Internet]. Artificial Intelligence. 2013 ; 201 59-80.[citado 2024 abr. 30 ] Available from: https://doi.org/10.1016/j.artint.2013.06.001
Vancouver
Ribeiro MM, Wassermann R, Flouris G, Antoniou G. Minimal change: Relevance and recovery revisited [Internet]. Artificial Intelligence. 2013 ; 201 59-80.[citado 2024 abr. 30 ] Available from: https://doi.org/10.1016/j.artint.2013.06.001
Dissertação (Mestrado)
Consulta a ontologias utilizando linguagem natural controlada (2013)
Luz, Fabiano Ferreira; Wassermann, Renata (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LUZ, Fabiano Ferreira. Consulta a ontologias utilizando linguagem natural controlada. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02012014-224412. Acesso em: 30 abr. 2024.
APA
Luz, F. F. (2013). Consulta a ontologias utilizando linguagem natural controlada (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02012014-224412
NLM
Luz FF. Consulta a ontologias utilizando linguagem natural controlada [Internet]. 2013 ;[citado 2024 abr. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02012014-224412
Vancouver
Luz FF. Consulta a ontologias utilizando linguagem natural controlada [Internet]. 2013 ;[citado 2024 abr. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02012014-224412
Monografia/livro-ed/org
Seminar on Ontology Research in Brazil, 6: proceedings (2013)
Bax, Marcello Peixoto (Editor); Almeida, Maurício B (Editor); Wassermann, Renata (Editor)
Conference titles: Seminar on Ontology Research in Brazil. Unidade: IME
Assunto: ONTOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Seminar on Ontology Research in Brazil, 6: proceedings. . Belo Horizonte: ECI/UFMG. Disponível em: http://ontobras.eci.ufmg.br/pt-br/evento/anais/anais-proceedings-ontobras-2013.pdf. Acesso em: 30 abr. 2024. , 2013
APA
Seminar on Ontology Research in Brazil, 6: proceedings. (2013). Seminar on Ontology Research in Brazil, 6: proceedings. Belo Horizonte: ECI/UFMG. Recuperado de http://ontobras.eci.ufmg.br/pt-br/evento/anais/anais-proceedings-ontobras-2013.pdf
NLM
Seminar on Ontology Research in Brazil, 6: proceedings [Internet]. 2013 ;[citado 2024 abr. 30 ] Available from: http://ontobras.eci.ufmg.br/pt-br/evento/anais/anais-proceedings-ontobras-2013.pdf
Vancouver
Seminar on Ontology Research in Brazil, 6: proceedings [Internet]. 2013 ;[citado 2024 abr. 30 ] Available from: http://ontobras.eci.ufmg.br/pt-br/evento/anais/anais-proceedings-ontobras-2013.pdf
Trabalho de evento
Toward the revision of CTL models through Kripke modal transition systems (2013)
Guerra, Paulo T; Andrade, Aline; Wassermann, Renata
Source: Proceedings. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME
Subjects: LÓGICA MODAL, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUERRA, Paulo T e ANDRADE, Aline e WASSERMANN, Renata. Toward the revision of CTL models through Kripke modal transition systems. 2013, Anais.. Berlin: Springer, 2013. Disponível em: https://doi.org/10.1007/978-3-642-41071-0_9. Acesso em: 30 abr. 2024.
APA
Guerra, P. T., Andrade, A., & Wassermann, R. (2013). Toward the revision of CTL models through Kripke modal transition systems. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-41071-0_9
NLM
Guerra PT, Andrade A, Wassermann R. Toward the revision of CTL models through Kripke modal transition systems [Internet]. Proceedings. 2013 ;[citado 2024 abr. 30 ] Available from: https://doi.org/10.1007/978-3-642-41071-0_9
Vancouver
Guerra PT, Andrade A, Wassermann R. Toward the revision of CTL models through Kripke modal transition systems [Internet]. Proceedings. 2013 ;[citado 2024 abr. 30 ] Available from: https://doi.org/10.1007/978-3-642-41071-0_9
Trabalho de evento-resumo
Revising formal program specifications using KMTS (2013)
Oliveira, Paulo de Tarso Guerra ; Andrade, Aline; Wassermann, Renata
Source: Handbook of the 4th World Congress and School on Universal Logic. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Paulo de Tarso Guerra e ANDRADE, Aline e WASSERMANN, Renata. Revising formal program specifications using KMTS. 2013, Anais.. Rio de Janeiro: UNILOG, 2013. Disponível em: https://www.uni-log.org/start4.html. Acesso em: 30 abr. 2024.
APA
Oliveira, P. de T. G., Andrade, A., & Wassermann, R. (2013). Revising formal program specifications using KMTS. In Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: UNILOG. Recuperado de https://www.uni-log.org/start4.html
NLM
Oliveira P de TG, Andrade A, Wassermann R. Revising formal program specifications using KMTS [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 abr. 30 ] Available from: https://www.uni-log.org/start4.html
Vancouver
Oliveira P de TG, Andrade A, Wassermann R. Revising formal program specifications using KMTS [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 abr. 30 ] Available from: https://www.uni-log.org/start4.html

USP Schools

ReP

Filtros

Document Types

USP Schools

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Indexado em

Non normalized affiliation

Countries of institutions of collaboration